Mass transfer from a carbon dioxide jet to tap water

When a jet of soluble gas is directed on to liquid surface, the kinetic energy of the jet is transferred to the liquid giving rise to circulation, which in turn enhances mass transfer. Consequently, the mass transfer coefficient is related to the characteristics of the jet.     

Polynomial-Time Algorithms for Energy Games with Special Weight Structures

Energy games belong to a class of turn-based two-player infinite-duration games played on a weighted directed graph. It is one of the rare and intriguing combinatorial problems that lie in NP∩co-NP, but are not known to be in P. The existence of polynomial-time algorithms has been a major open problem for decades and apart from pseudopolynomial algorithms there is no algorithm that solves any non-trivial subclass in polynomial time. In this paper, we give several results based on the weight structures of the graph. First, we identify a notion of penalty and present a polynomial-time algorithm when the penalty is large. Our algorithm is the first polynomial-time algorithm on a large class of weighted graphs. It includes several worst-case instances on which previous algorithms, such as value iteration and random facet algorithms, require at least sub-exponential time. Our main technique is developing the first non-trivial approximation algorithm and showing how to convert it to an exact algorithm. Moreover, we show that in a practical case in verification where weights are clustered around a constant number of values, the energy game problem can be solved in polynomial time. We also show that the problem is still as hard as in general when the clique-width is bounded or the graph is strongly ergodic, suggesting that restricting the graph structure does not necessarily help.     

Synthesizing robust systems

Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of robust reactive systems from temporal specifications. Existing methods allow arbitrary behavior if assumptions in the specification are violated. To overcome this, we define two robustness notions, combine them, and show how to enforce them in synthesis. The first notion applies to safety properties: If safety assumptions are violated temporarily, we require that the system recovers to normal operation with as few errors as possible. The second notion requires that, if liveness assumptions are violated, as many guarantees as possible should be fulfilled nevertheless. We present a synthesis procedure achieving this for the important class of GR(1) specifications, and establish complexity bounds. We also present an implementation of a special case of robustness, and show experimental results.     

NH3-NO/NO2 SCR for diesel exhausts after treatment: mechanism and modelling of a catalytic converter

We review herein the key mechanistic and kinetic features of the reactions involved in the NH₃-NO/NO₂ SCR system investigated by dynamic reactive experiments over a V-based commercial powdered catalyst, eventually leading to the proposal of an original redox scheme which accounts for stoichiometry, selectivity and intrinsic kinetics of the global SCR process.     

The beneficial effect of small amount of water in the ambient temperature atom transfer radical homo and block co-polymerization of methacrylates

ATRP of several methacrylates viz. methyl methacrylate (MMA), ethyl methacrylate (EMA), n-butyl methacrylate (nBMA), t-butyl methacrylate (tBMA), benzyl methacrylate (BzMA) and (N,N-dimethylamino)ethyl methacrylate (DMAEMA) has been studied in neat as well as aqueous (up to 12 vol% water) acetone at 35 °C using CuCl/bipyridine (bpy) catalyst and ethyl 2-bromoisobutyrate as the initiator. Addition of water significantly enhances the rate of polymerization without losing control. Unlike CuCl/bpy the CuBr/bpy catalyst gives poor control which is attributed to the lower solubility and consequent heterogeneity in the latter case. Of the other ligands used with the CuCl catalyst viz. o-phenanthroline (o-phen), 1,1,4,7,7-pentamethyldiethylenetriamine (PMDETA), 1,1,4,7,10,10-hexamethyltriethylenetetramine (HMTETA), Me₆TREN only o-phen offers reasonably good control. The CuCl/bpy catalyst system has been used also in preparing some di- and tri-block copolymers with reasonably low polydispersity index (PDI) at ambient temperature (35 °C) using aqueous acetone as the solvent. The following block copolymers have been prepared PMMA-tBMA, PMMA-b-tBMA-b-MMA, PMMA-DMAEMA, by this method.     

Electrical Conduction in Nano-Structured La0.9Sr0.1Al0.85Co0.05Mg0.1O3 Perovskite Oxide

Nanocrystalline La_0.9Sr_0.1Al_0.85Co_0.05Mg_0.1O₃ oxide powder was synthesized by a citrate–nitrate auto-ignition process and characterized by thermal analysis, X-ray diffraction, and impedance spectroscopy measurements. Nanocrystalline (50–100 nm) powder with perovskite structure could be produced at 900°C by this process. The powder could be sintered to a density more than 96% of the theoretical density at 1550°C. Impedance measurements on the sintered samples unequivocally established the potential of this process in developing nanostructured lanthanum aluminate-based oxides. The sintered La_0.9Sr_0.1Al_0.85Co_0.05Mg_0.1O₃ sample exhibited a conductivity of 2.40 × 10⁻² S/cm in air at 1000°C compared with 4.9 × 10⁻³ S/cm exhibited by La_0.9Sr_0.1Al_0.85Mg_0.15O₃.     

Estimation of impact forces during multi-point collisions involving small deformations

Multibody System Dynamics - Collision between hard objects causes abrupt changes in the velocities of the system, which are characterized by very large contact forces over very small time...     

Machinability of a nickel aluminide intermetallic alloy

This article reports the results of an experimental study on the machinability of a nickel aluminide intermetallic alloy. Machining was conducted at various speeds, and results indicate low material removal rates. Chips collected for each test run were measured for thickness for shear angle calculation and were subsequently observed microscopically. Chip segmentation was observed microscopically, and a fluctuation in the shear angle was evidenced. A parameter characterizing the severity of the machining process, the chip reduction coefficient (K), was calculated from chip thickness measurements. The calculated values ofK were found to be low, indicating a low severity of the metalcutting process. This, however, is in contract with the observed low rates of metal removal and low tool life. Thus, conventional metalcutting characterization parameters require re- examination in terms of machining high-strength materials.     

The effects of silicon on the properties of tantalum

The microalloying of tantalum with silicon has been effectively used on a commercial scale. However, data on effects of microalloying on processibility, microstructure and mechanical properties are not readily available. To develop some data, tantalum powder with various levels of silicon (0–50 ppm) was processed under identical conditions. Sheet samples were then annealed at different temperatures and evaluated via microstructural, chemical and mechanical tests. The recrystallization temperature was found to increase with silicon content, most probably as a result of the presence of an intermetallic (Ta₃Si) phase. The mechanical properties of unrecrystallized tantalum are, as expected, significantly different from those of recrystallized tantalum.     

A new fuzzy rule based algorithm for estimating software faults in early phase of development

Estimation of reliability and the number of faults present in software in its early development phase, i.e., requirement analysis or design phase is very beneficial for developing reliable software with optimal cost. Software reliability prediction in early phase of development is highly desirable to the stake holders, software developers, managers and end users. Since, the failure data are unavailable in early phase of software development, different reliability relevant software metrics and similar project data are used to develop models for early software fault prediction. The proposed model uses the linguistic values of software metrics in fuzzy inference system to predict the total number of faults present in software in its requirement analysis phase. Considering specific target reliability, weightage of each input software metrics and size of software, an algorithm has been proposed here for developing general fuzzy rule base. For model validation of the proposed model, 20 real software project data have been used here. The linguistic values from four software metrics related to requirement analysis phase have been considered as model inputs. The performance of the proposed model has been compared with two existing early software fault prediction models.